Preservation Logic, Storage Verification, Formal Archival, Durability Mathematics

Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·46m
Proof Automation
Flag this post
AI and the strengthening of records management approaches
thinkingrecords.co.uk·1d
📐Archive Calculus
Flag this post
Durable execution workflow system based on Postgres
github.com·8h·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
Storing Your Files in The Cloud is Convenient But I Still Back Everything Up on an External Hard Drive. Here's Why:
popularmechanics.com·2d
💿Backup Strategies
Flag this post
Three Realisms and The Idea of Sheaves
youtube.com·1d
🧮Theoretical Computer Science
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.com·7h
🛡️eBPF Security
Flag this post
Registry Analysis
windowsir.blogspot.com·8h·
🔍NTLM Archaeology
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·4h·
Discuss: Hacker News
🔗Network Calculi
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
🔗Combinatory Logic
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·22h
🔓Decompilation
Flag this post
Agents Rule of Two: A Practical Approach to AI Agent Security
ai.meta.com·1h·
Discuss: Hacker News
Proof Automation
Flag this post
ImapGoose status update: v0.3.2
whynothugo.nl·8h
🔄Sync Engine
Flag this post
A chat with Elizabeth Goodspeed, Casual Archivst
flickr.org·1d
🌐Archive Topology
Flag this post
Klara at the OpenZFS User & Developer Summit 2025
klarasystems.com·4h
💿ZFS Archaeology
Flag this post
Vulnerabilities in LUKS2 disk encryption for confidential VMs
blog.trailofbits.com·1d
🦠Parasitic Storage
Flag this post
De Bruijn Numerals
text.marvinborner.de·1d·
Discuss: Hacker News
λLambda Encodings
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
λLambda Formalization
Flag this post
Building Up And Sanding Down
endler.dev·22h
🔩Systems Programming
Flag this post
Plan for Learning, Not Certainty
timcheadle.com·7h·
Discuss: Hacker News
💾Persistence Strategies
Flag this post
Why CoreWeave’s Object Storage Launch is Good for AI—and Everyone Building It
backblaze.com·6h
💾Persistence Strategies
Flag this post